/*
 * resumePCB.h
 *
 *  Created on: Oct 2, 2013
 *      Author: Joseph DeLong
 */

#ifndef RESPCB_H_
#define RESPCB_H_

void resumePCB(char processName[9]);

#endif /* RESPCB_H_ */
